Economical toric spines via Cheeger’s Inequality
نویسنده
چکیده
Let G∞ = (C d m)∞ denote the graph whose set of vertices is {1, . . . ,m}d, where two distinct vertices are adjacent iff they are either equal or adjacent in Cm in each coordinate. Let G1 = (C d m)1 denote the graph on the same set of vertices in which two vertices are adjacent iff they are adjacent in one coordinate in Cm and equal in all others. Both graphs can be viewed as graphs of the d-dimensional torus. We prove that one can delete O( √ dm) vertices of G1 so that no topologically nontrivial cycles remain. This improves an O(d2m) estimate of Bollobás, Kindler, Leader and O’Donnell. We also give a short proof of a result implicit in a recent paper of Raz: one can delete an O( √ d/m) fraction of the edges of G∞ so that no topologically nontrivial cycles remain in this graph. Our technique also yields a short proof of a recent result of Kindler, O’Donnell, Rao and Wigderson; there is a subset of the continuous d-dimensional torus of surface area O( √ d) that intersects all nontrivial cycles. All proofs are based on the same general idea: the consideration of random shifts of a body with small boundary and nonontrivial cycles, whose existence is proved by applying the isoperimetric inequality of Cheeger or its vertex or edge discrete analogues.
منابع مشابه
Weighted Graph Laplacians and Isoperimetric Inequalities
We consider a weighted Cheeger’s constant for a graph and we examine the gap between the first two eigenvalues of Laplacian. We establish several isoperimetric inequalities concerning the unweighted Cheeger’s constant, weighted Cheeger’s constants and eigenvalues for Neumann and Dirichlet conditions .
متن کاملDiffusion Operator and Spectral Analysis for Directed Hypergraph Laplacian
In spectral graph theory, the Cheeger’s inequality gives upper and lower bounds of edge expansion in normal graphs in terms of the second eigenvalue of the graph’s Laplacian operator. Recently this inequality has been extended to undirected hypergraphs and directed normal graphs via a non-linear operator associated with a diffusion process in the underlying graph. In this work, we develop a uni...
متن کاملAn Inequality for Adjoint Rational Surfaces
We generalize an inequality for convex lattice polygons – aka toric surfaces – to general rational surfaces. Our collaboration started when the second author proved an inequality for algebraic surfaces which, when translated via the toric dictionary into discrete geometry, yields an old inequality by Scott [5] for lattice polygons. In a previous article [2], we were then able to refine this est...
متن کاملA Nullstellensatz for amoebas
The amoeba of an affine algebraic variety V ⊂ (C∗)r is the image of V under the map (z1, . . . , zr) 7→ (log |z1|, . . . , log |zr|). We give a characterisation of the amoeba based on the triangle inequality, which we call ‘testing for lopsidedness’. We show that if a point is outside the amoeba of V , there is an element of the defining ideal which witnesses this fact by being lopsided. This c...
متن کامل